President Trump is hailing an agreement between North and South Korean leaders in their historic summit, tweeting: "KOREAN WAR TO END! The United States, and all of its GREAT people, should be very proud of what is now taking place in Korea!"